Your search returned
3
records. Click on the hyperlinks to view further details of Titles..
Magazine Name
:
Acm Computing Surveys
Year :
1981
Volume number :
13
Issue:
03
Formal Models For Computer Security
(Article)
Subject
:
Security , Computer , Protection , Operating System
Author:
Carl E. Landwehr
page:
247 -
278
Verifying Security
(Article)
Subject
:
Formal Specification , Hdm , Ina Jo , Theorem Provers
Author:
Maureen Harris Cheheyl Morrie Gasser George A. Huff Jonathan K. Millen
page:
279 -
339
Garbage Collection Of Linked Data Structures
(Article)
Subject
:
Garbage Collection , Marking , Compaction , Analysis Of Algorithms
Author:
Jacques Cohen
page:
341 -
367